Basic science - PDFSEARCH.IO - Document Search Engine

Basic science
Results: 4014

#	Item
701	BRICS Basic Research in Computer Science BRICS RS-99-8 Havelund et al.: Formal Verification of a Power Controller Using UPPAAL Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-07-01 10:19:37 Embedded system Transmission Control Protocol Computer architecture Interrupts Interrupt
702	BRICS RSAceto et al.: Bisimilarity is not Finitely Based over BPA with Interrupt BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-11-21 16:35:43 Theoretical computer science Applied mathematics Process calculus Bisimulation Mathematics Algebraic structures Algebra
703	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
704	Access and alarm system 14th October 2009 Centre for Languages and Literature (SOL) Basic principles The access system uses magnetic cards and card readers to restrict/grant access to the building as a whole and to certa Add to Reading List Source URL: www.sol.lu.se Language: English - Date: 2010-03-01 05:17:32 American Association of State Colleges and Universities North Central Association of Colleges and Schools Science Door Smart card Library
705	BRICS Basic Research in Computer Science BRICS NS-00-7 Klarlund et al.: Document Structure Description 1.0 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-03-06 05:29:37 Markup languages Technical communication Document Structure Description HTML Root element Data model Standard Generalized Markup Language XPath XSLT Computing XML Web standards
706	The Battle Against Microbial Pathogens: Basic Science, Technological Advances and Educational Programs A. Méndez-Vilas (Ed.) Daptomycin: Discovery, Development and Perspectives Ipsita Chakravarty1, Kanika Kundu2 and Sub Add to Reading List Source URL: www.formatex.info Language: English - Date: 2015-04-20 05:07:10 Antibiotics Bacterial diseases Staphylococcaceae Eli Lilly and Company Antibiotic-resistant bacteria Daptomycin Vancomycin Staphylococcus aureus Linezolid Bacteria Gram-positive bacteria Biology
707	BRICS Basic Research in Computer Science BRICS RSKim et al.: Assessing the Overhead of ML Exceptions Assessing the Overhead of ML Exceptions Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-09-17 06:37:55 Functional programming Control flow Functional languages Procedural programming languages Logic in computer science Continuation-passing style Standard ML Continuation Exception handling Software engineering Computing Computer programming
708	EUROBIOFILMS 2011 COPENHAGEN, DENMARK, JULY 6-8, 2011 Second European Congress on Microbial Biofilms - Basic and Clinical Aspects Organising committee: Niels Høiby (president), Søren Molin (vice president, basic), Gian Add to Reading List Source URL: dskm.dk Language: English - Date: 2014-01-15 11:22:35 Bacteriology Bacteria Environmental microbiology Biofilm Environmental soil science Microbiology Biology Clinical pathology
709	BRICS Basic Research in Computer Science BRICS RSHansen et al.: Circuits on Cylinders Circuits on Cylinders Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-01-09 10:18:59 Complexity classes Circuit complexity NC ACC0 Circuit AC Binary decision diagram TC0 FO Theoretical computer science Computational complexity theory Applied mathematics
710	BRICS RS-08-6 J. Johannsen: An Investigation of Abadi and Cardelli’s Untyped Calculus of Objects BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2008-06-27 05:42:39 Olivier Danvy Computing Computer science

UPDATE